تعداد ۷ پاسخ غیر تکراری از ۷ پاسخ تکراری در مدت زمان ۹,۱۱ ثانیه یافت شد.

1. Automata and computability :

پدیدآورنده : Ganesh Lalitha Gopalakrishnan.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Automatic control-- Data processing.,Digital control systems-- Programming.,Machine theory.,Automatic control-- Data processing.,COMPUTERS / General,COMPUTERS / Information Theory,Machine theory.,MATHEMATICS / General,TECHNOLOGY & ENGINEERING / Engineering (General)

رده :

TJ223

.

M53

G663

2019

2. Computation engineering

پدیدآورنده : / Ganesh Gopalakrishnan

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer science--Mathematics,Computer logic.,Machine theory.

3. Computation engineering: applied automata theory and logic

پدیدآورنده : / Ganesh Gopalakrishnan

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : ENGINEERING (uncategorised)&COMPUTER SCIENCE

رده :

E-BOOK

4. Computer Aided Verification

پدیدآورنده : / Ganesh Gopalakrishnan, Shaz Qadeer

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS

رده :

E-BOOK

5. Formal methods in computer-aided design : second international conference, FMCAD'98, Palo Alto, CA, USA, November 4-6, 1998 : proceedings

پدیدآورنده : Ganesh Gopalakrishnan, Philip Windley )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Design and construction -- Data processing -- Congresses ، Digital integrated circuits,Congresses ، Computer-aided design,Congresses ، Automatic theorem proving,Congresses ، Integrated circuits -- Verification

رده :

QA

76

.

L28

Vol

.

1522

6. 20, 2011. Proceedings-Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14

پدیدآورنده : / Vijay Ganesh, Adam Kieun, Shay Artzi, Philip J. Guo (auth.), Ganesh Gopalakrishnan, Shaz Qadeer (eds.)

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY

رده :

E-BOOK

7. Theorem proving in higher order logics : 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004 : proceedings

پدیدآورنده : Konrad Slind, Annette Bunker, Ganesh Gopalakrishnan )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Congresses ، Automatic theorem proving

رده :

QA

76

.

L28

Vol

.

3223

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است